((ENSTRUT00000080835,ENSMAMT00000047874),ENSEBUT00000007560);